-
1 полусистема Туэ
Information technology: semi-Thue system -
2 semi-Thue system
Англо-русский словарь промышленной и научной лексики > semi-Thue system
См. также в других словарях:
ТУЭ СИСТЕМА — ассоциативное исчисление, названное по имени А. Туэ, к рый впервые сформулировал проблему распознавания равенства слов в ассоциативных системах (проблема Туэ, см. [1]). Если при задании Т. с. допустимыми подстановками считать только подстановки… … Математическая энциклопедия
ТУЭ ПОЛУСИСТЕМА — полу Туэ система, система подстановок см. Туэ система … Математическая энциклопедия